31 results
Unfold/fold transformations of logic programs
-
- Journal:
- Mathematical Structures in Computer Science / Volume 2 / Issue 2 / June 1992
- Published online by Cambridge University Press:
- 04 March 2009, pp. 143-157
-
- Article
- Export citation
David Maier and David S. Warren. Computing with logic. Logic programming with Prolog. The Benjamin/Cummings Publishing Company, Menlo Park, Calif., etc., 1988, xxi + 535 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 4 / December 1991
- Published online by Cambridge University Press:
- 12 March 2014, p. 1495
- Print publication:
- December 1991
-
- Article
- Export citation
Michael J. Beeson. Computerizing mathematics: logic and computation. The universal Turing machine, A half-century survey, edited by Rolf Herken, Kammerer & Unverzagt, Hamburg and Berlin, and Oxford University Press, Oxford and New York, 1988. pp. 191–225.
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 3 / September 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1090-1091
- Print publication:
- September 1991
-
- Article
- Export citation
Melvin Fitting. Computability theory, semantics, and logic programming. Oxford logic guides, no. 13. Clarendon Press, Oxford University Press, Oxford and New York 1987, xi + 198 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 4 / December 1988
- Published online by Cambridge University Press:
- 12 March 2014, p. 1257
- Print publication:
- December 1988
-
- Article
- Export citation
Gödel's Second incompleteness theorem for Q
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 2 / June 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 503-512
- Print publication:
- June 1976
-
- Article
- Export citation
European Meeting of the Association for Symbolic Logic, Bristol, England, 1973
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 406-432
- Print publication:
- June 1974
-
- Article
- Export citation
Roger C. Lyndon. Notes on logic. D. Van Nostrand Company, Inc., Princeton, Toronto, and London, 1966. Reprinted 1967, vi + 97 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 4 / December 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 644-646
- Print publication:
- December 1973
-
- Article
- Export citation
A. H. Kruse. Grothendieck universes and the super-complete models of Shepherdson. Composite mathematica, vol. 17 (1965), pp. 96–101.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 613
- Print publication:
- September 1972
-
- Article
- Export citation
G. P. Zykin. Zaméčanié ob odnoj téorémé Hao Vana (Comment on a theorem of Hao Wang). Algébra i logika, Séminar, vol. 2 no. 1 (1963), pp. 33–35.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 534
- Print publication:
- September 1971
-
- Article
- Export citation
Walter Oberschelp. Varianten von Turingmaschinen. Archiv für mathematische Logik und Grundlagenforschung, vol. 4 (1958), pp. 53–62.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 534
- Print publication:
- September 1971
-
- Article
- Export citation
C. Y. Lee. Automata and finite automata. The Bell System technical journal, vol. 39 (1960), pp. 1267–1295.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 534-535
- Print publication:
- September 1971
-
- Article
- Export citation
C. R. J. Clapham. An embedding theorem for finitely generated groups. Proceedings of the London Mathematical Society, ser. 3 vol. 17 (1967), pp. 419–430.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 2 / June 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 340-341
- Print publication:
- June 1970
-
- Article
- Export citation
A. A. Fridman. Stépéni nérazréšimosti problémy toždéstva v konéčno oprédélénnyh gruppah. Doklady Akadémii Nauk SSSR, vol. 147 (1962), pp. 805–808. - A. A. Fridman. Degrees of insolvability of the word problem in finitely defined groups. English translation of the preceding by Sue Ann Walker. Soviet mathematics, vol. 3 no. 6 (1962), pp. 1733–1737. - C. R. J. Clapham. Finitely presented groups with word problems of arbitrary degrees of insolubility. Proceedings of the London Mathematical Society, ser. 3 vol. 14 (1964), pp. 633–676. - William W. Boone. Finitely presented group whose word problem has the same degree as that of an arbitrarily given Thue system (an application of methods of Britton). Proceedings of the National Academy of Sciences, vol. 53 (1965), pp. 265–269. - William W. Boone. Word problems and recursively enumerable degrees of unsolvability. A first paper on Thue systems. Annals of mathematics, ser. 2 vol. 83 (1966), pp. 520–571. - William W. Boone. Word problems and recursively enumerable degrees of unsolvability. A sequel on finitely presented groups. Annals of mathematics, ser. 2 vol. 84 (1966), pp. 49–84.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 296-297
- Print publication:
- 23 July 1968
-
- Article
- Export citation
Meeting of the Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 4 / December 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 218-228
- Print publication:
- December 1964
-
- Article
- Export citation
Michael O. Rabin. On recursively enumerable and arithmetic models of set theory. The Journal of symbolic logic, vol. 23 no. 4 (for 1958, pub. 1959), pp. 408–416.
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 2 / June 1963
- Published online by Cambridge University Press:
- 12 March 2014, pp. 167-168
- Print publication:
- June 1963
-
- Article
- Export citation
Gaisi Takeuti. Axioms of infinity of set theory. Journal of the Mathematical Society of Japan, vol. 13 (1961), pp. 220–233.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 3 / September 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 354-355
- Print publication:
- September 1962
-
- Article
- Export citation
Reviews - Paul Bernays. Zur Frage der Unendlichkeitsschemata in der axiomatischen Mengenlehre. Essays on the foundations of mathematics, dedicated to A. A. Fraenkel on his seventieth anniversary, edited by Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, and A. Robinson for The Hebrew University of Jerusalem, Magnes Press, Jerusalem1961, and North-Holland Publishing Company, Amsterdam 1962, pp. 3–49.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 3 / September 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 353-354
- Print publication:
- September 1962
-
- Article
- Export citation
Azriel Lévy. Axiom schemata of strong infinity in axiomatic set theory. Pacific journal of mathematics, vol. 10 (1960), pp. 223–238.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 88-89
- Print publication:
- March 1962
-
- Article
- Export citation
Recursive Equivalence Types. By J C. E. Dekker and J. Myhill. 1960. University of California Publications in Mathematics. N.S. Vol. 3 No. 3, pp. 67–214).
-
- Journal:
- The Mathematical Gazette / Volume 46 / Issue 355 / February 1962
- Published online by Cambridge University Press:
- 03 November 2016, pp. 85-86
- Print publication:
- February 1962
-
- Article
- Export citation
Mathematische Gesetze der Logik I. By H. A. Schmidt. Pp. 555. DM 74.50. 1960. (Springer, Berlin)
-
- Journal:
- The Mathematical Gazette / Volume 45 / Issue 353 / October 1961
- Published online by Cambridge University Press:
- 03 November 2016, pp. 270-271
- Print publication:
- October 1961
-
- Article
- Export citation